protoknow(pr,rolea,cmr(n1_11,dot,bot)).
protoknow(pr,rolea,pri(enc,[pri(lst,[cmr(id9,[su],[]),cmr(n1_11,dot,bot)]),cmr(ks,dot,dot)])).
protoknow(pr,ext,pri(enc,[pri(lst,[cmr(id9,[su],[]),cmr(n1_11,dot,bot)]),cmr(ks,dot,dot)])).
protoknow(pr,rolea,pri(enc,[pri(lst,[cmr(id9,[su],[]),cm(age8,[su],dot),cmr(n2_18,dot,bot)]),cmr(ks,dot,dot)])).
protoknow(pr,rolea,cm(success,dot,dot)).
protoknow(pr,ext,cm(success,dot,dot)).
protoknow(pr,roleb,pri(enc,[pri(lst,[cmr(id9,[su],[]),cmr(n1_11,dot,bot)]),cmr(ks,dot,dot)])).
protoknow(pr,roleb,cmr(n2_18,dot,bot)).
protoknow(pr,roleb,pri(enc,[pri(lst,[cmr(id9,[su],[]),cm(age8,[su],dot),cmr(n2_18,dot,bot)]),cmr(ks,dot,dot)])).
protoknow(pr,ext,pri(enc,[pri(lst,[cmr(id9,[su],[]),cm(age8,[su],dot),cmr(n2_18,dot,bot)]),cmr(ks,dot,dot)])).
protoknow(pr,roleb,cmr(ks,dot,dot)).
protoknow(pr,roleb,cm(success,dot,dot)).
